61. Logic programming and nonmonotonic reasoning
المؤلف:
المکتبة: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)
موضوع: Logic programming congresses,Nonmonotonic reasoning congresses
رده :
QA
,
76
.
63
,.
L74
62. Logic programming and nonmonotonic reasoning
المؤلف: Esra Erdem, Fangzhen Lin, Torsten Schaub (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic programming, Congresses,Nonmonotonic reasoning, Congresses
رده :
QA76
.
63
.
L74
2009eb
63. Logic programming and nonmonotonic reasoning.
المؤلف: LPNMR '97 (4th : 1997 : Dagstuhl Castle, Germany)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
64. Logic programming and nonmonotonic reasoning
المؤلف: / Chitta Baral, Gerhard Brewka, John Schlipf (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic programming--Congresses,Nonmonotonic reasoning--Congresses
رده :
QA
,
76
.
63
,.
L74
,
2007
65. Logic programming and nonmonotonic reasoning :
المؤلف: Pedro Cabalar, Tran Cao Son (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic programming, Congresses,Nonmonotonic reasoning, Congresses
رده :
QA76
.
63
.
L66
2013
66. Logic programming and nonmonotonic reasoning:Third international
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: logic programming
رده :
QA76
.
63
.
L65
1995
67. Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 1997 : proceedings
المؤلف: Jurgen Dix, Ulrich Fuhrbach, Anil Nerode, )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
1265
68. Logic programming and nonmonotonic reasoning : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 : proceedings
المؤلف: Chitta Baral... ]et al.[ )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
3662
69. Logic programming and nonmonotonic reasoning : 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999 : proceedings
المؤلف: Michael Gelfond, Nicola Leone, Gerald Pfeifer )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
1730
70. Logic programming and nonmonotonic reasoning : 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings
المؤلف: Vladimir Lifschitz, Ilkka Niemela )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
2923
71. Logic programming and nonmonotonic reasoning : 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings
المؤلف: Thomas Eiter, Wolfgang Faber, Miroslaw Truszczynski )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
2173
72. Logic programming, knowledge representation, and nonmonotonic reasoning
المؤلف: [edited by]& Marcello Balduccini, Tran Cao Son
المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع:
73. Logic programming, knowledge representation, and nonmonotonic reasoning :
المؤلف: Marcello Balduccini, Tran Cao Son (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Gelfond, Michael,Logic programming,Nonmonotonic reasoning
74. Logic, rhetoric, and legal reasoning in the Qur'an
المؤلف: Rosalind Ward Gwynne.
المکتبة: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع:
رده :
BP104
.
I5
G89
2004
75. Logic, rhetoric, and legal reasoning in the Qur'an
المؤلف: / Rosalind Ward Gwynne
المکتبة: (طهران)
موضوع: Islam and reason - Koranic teaching,Koran and philosophy,Intellect - Religious aspects - Islam - Koranic teaching,عقل ( اسلام ) - جنبه های قرآنی
رده :
BP216
,.
15
.
G89
76. Logic, rhetoric and legal reasoning in the Qur'an: God's arguments
المؤلف: Gwynne, Rosalind Ward
المکتبة: (قم)
موضوع: Koranic teaching ، Islam and reason,، Koran and philosophy,Religious aspects Islam Koranic teaching ، Intellect
رده :
BP
134
.
R33
.
G89
77. Logic, rhetoric, and legal reasoning in the Quran: God's arguments
المؤلف: Rosalind Ward Gwynne
المکتبة: كتابخانه مركزي دانشگاه شهركرد (جهار محال و بختیاري)
موضوع: Islam and reason - Koranic teaching,Koran and philosophy
78. Logic, rhetoric, and legal reasoning in the Quran: God's arguments
المؤلف: Gwynne, Rosalind Ward.
المکتبة: كتابخانه تخصصي لاتين پژوهشگاه علوم و فرهنگ اسلامي (دفتر تبليغات اسلامي حوزه علمیه قم) (قم)
موضوع: Koranic teaching ، Islam and reason,Koranic teaching ، Reason,، Koran and philosophy,Religious aspects Islam Koranic teaching ، Intellect
رده :
BP
104
.
R4G8
2004
79. Logic techniques of formal reasoning
المؤلف: Donald Kalish, ... ]et al.[
المکتبة: كتابخانه دانشكده ادبیات و علوم انسانی دانشگاه كاشان (أصبهان)
موضوع: Logic
رده :
160
L
832
Ed
.
2
80. May 1, 2010, Revised Selected Papersع۰ب16, Dakar, Senegal, April 25-Logic for Programming
المؤلف: / Geoff Sutcliffe (auth.), Edmund M. Clarke, Andrei Voronkov (eds.)
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
